(Fx_hide_tip): Don't use `None' with widgets; use

NULL instead.

diff --git a/src/xfns.c b/src/xfns.c
index 2460e16bbaf6b325dbd07795ff890e10ce0d7024..2c3a16ce0191ef4200214782f1d8ae4b51de5170 100644 (file)
--- a/src/xfns.c
+++ b/src/xfns.c
@@ -10977,7 +10977,7 @@ Value is t is tooltip was open, nil otherwise.")
        extern void xlwmenu_redisplay P_ ((Widget));
        
        if (!DoesSaveUnders (FRAME_X_DISPLAY_INFO (f)->screen)
-           && w != None)
+           && w != NULL)
          {
            BLOCK_INPUT;
            xlwmenu_redisplay (w);